gnome-shell-jhbuild: Allow passing args to gnome-shell

$ ./gnome-shell -- --list-modes

https://bugzilla.gnome.org/show_bug.cgi?id=689778

diff --git a/src/gnome-shell-jhbuild.in b/src/gnome-shell-jhbuild.in
index f8e9c42a5849a0c223d770589b1e045f79e6ae1c..9186f50497e79ec29ce1fe8c229e887100e4967b 100755 (executable)
--- a/src/gnome-shell-jhbuild.in
+++ b/src/gnome-shell-jhbuild.in
@@ -93,6 +93,7 @@ def start_shell():
         args.append('--replace')
     if options.sync:
         args.append('--sync')
+    args += params
     return subprocess.Popen(args, env=env)
 
 def run_shell():
@@ -156,11 +157,7 @@ parser.add_option("", "--sync", action="store_true")
 parser.add_option("", "--version", action="callback", callback=show_version,
                   help="Display version and exit")
 
-options, args = parser.parse_args()
-
-if args:
-    parser.print_usage()
-    sys.exit(1)
+options, params = parser.parse_args()
 
 # Handle ssh logins
 if 'DISPLAY' not in os.environ: